How to prove the proportionality theorem | Euclidean geometry